Answer set programming - PDFSEARCH.IO - Document Search Engine

Answer set programming
Results: 107

#	Item
91	Ann Math Artif Intell[removed]:363–388 DOI[removed]s10472[removed]An introduction to fuzzy answer set programming Davy Van Nieuwenborgh · Martine De Cock · Dirk Vermeir Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2007-11-16 12:32:25 Mathematics Logic programming Logic in computer science Artificial intelligence Rules of inference Negation as failure Stable model semantics T-norm Interpretation Logic Mathematical logic Fuzzy logic
92	Communicating ASP and the Polynomial Hierarchy Kim Bauters1, , Steven Schockaert1, , Dirk Vermeir2 , and Martine De Cock1 1 Department of Applied Mathematics and Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:41:03 Logic programming Complexity classes Structural complexity theory Boolean algebra Stable model semantics True quantified Boolean formula Answer set programming FO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
93	Fuzzy Answer Set Programming: An Introduction Marjon Blondeel, Steven Schockaert, Dirk Vermeir, and Martine De Cock Abstract In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gen Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-02-14 06:07:18 Possibility theory Łukasiewicz logic T-norm Stable model semantics Interpretation Answer set programming T-norm fuzzy logics Fuzzy subalgebra Logic Mathematical logic Fuzzy logic
94	A core language for fuzzy answer set programming Jeroen Janssena,1,∗, Steven Schockaertb,2,∗∗, Dirk Vermeira,∗∗, Martine De Cockb,∗∗ a Department of Computer Science, Vrije Universiteit Brussel Pleinlaan 2, Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 05:38:49 Logic programming Logic in computer science Fuzzy logic Functions and mappings Stable model semantics Answer set programming Negation Combinatory logic Closure operator Mathematical logic Mathematics Logic
95	Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions Kim Bautersa,, Steven Schockaertb , Martine De Cocka , Dirk Vermeirc a Department of Applied Mathematics and Compu Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:22:11 Semantics Philosophical logic Stable model semantics Model theory Answer set programming Modal logic Term algebra Negation Interpretation Logic programming Logic Mathematical logic
96	Fuzzy autoepistemic logic and its relation to fuzzy answer set programming Marjon Blondeela,1 , Steven Schockaertb , Martine De Cockc , Dirk Vermeira a Vrije Universiteit Brussel, Department of Computer Science, Pleinla Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:30:28 Non-classical logic Modal logic Artificial intelligence Autoepistemic logic Stable model semantics Negation as failure Default logic Non-monotonic logic Fuzzy logic Logic Mathematical logic Logic programming
97	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic
98	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
99	IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, VOL. 3, NO. 3, SEPTEMBER[removed]Answer Set Programming for Procedural Content Generation: A Design Space Approach Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:47 Programming paradigms Logic programming Constraint programming Operations research NP-complete problems Answer set programming Maze Boolean satisfiability problem Solver Software engineering Theoretical computer science Computing
100	A Case Study of Expressively Constrainable Level Design Automation Tools for a Puzzle Game Adam M. Smith∗† , Erik Andersen† , Michael Mateas∗ , Zoran Popovi´c† ∗ † Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:50 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Puzzle Answer set programming Boolean satisfiability problem Constraint satisfaction problem Theoretical computer science Constraint programming Mathematics